Search results
Bulletin of the Section of Logic > 2021 > 50 > 1 > 35-53
Modern Engineering > 2019 > 1 > 34--41
Logica Universalis > 2017 > 11 > 4 > 525-532
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Foundations of Programming > 59-69
Reports on Mathematical Logic > 2014 > Vol. 49 > 3--21
Studia Logica > 2009 > 91 > 2 > 273-293
Fundamenta Informaticae > 2009 > Vol. 97, nr 4 > 405-438